% This file was created with JabRef 2.6b3.
% Encoding: GBK

@MISC{AgileMethod:2001,
  author =       {Beck, K. and et al.},
  title =        {Mainfesto for Agile Software Development},
  year =         {2001},
  month =        {February},
  source =       {http://agilemanifesto.org/}
}
@INPROCEEDINGS{WaterFlow:WESCON70,
  AUTHOR =       {Royce, W. W.},
  TITLE =        {Managing the development of large software systems: concepts and techniques},
  BOOKTITLE =    {Proceedings of Western Electronics Show and Convention (WESCON)},
  YEAR =         {1970},
  month =        {August}
}
@INPROCEEDINGS{Harrold:FoSM08,
  AUTHOR =       {Harrold, M. J. and Orso, A.},
  TITLE =        {Retesting Software during Development and Maintenance},
  BOOKTITLE =    {Proceedings of the Frontiers of Software Maintenance},
  YEAR =         {2008}
}
@ARTICLE{Onoma,
  AUTHOR =       {Onoma, A. K. and Tsai, W. T. and Poonawala, M. H. and Suganuma, H.},
  TITLE =        {Regression Testing in an Industrial Environment},
  JOURNAL =      {Communications of the ACM},
  YEAR =         {1998},
  volume =       {41},
  number =       {5},
  pages =        {81-86},
  month =        {May}
}
@INPROCEEDINGS{Leung:1989,
  AUTHOR =       {Leung, H. K. N. and White, L. J.},
  TITLE =        {Insights into regression testing},
  BOOKTITLE =    {Proceedings of the International Conference on Software Maintenance},
  YEAR =         {1989},
  pages =        {60-69}
}
@INPROCEEDINGS{Rothermel:ICSE02,
  AUTHOR =       {Rothermel, G. and Elbaum, S. and Malishevsky, A. G. and Kallakuri, P. and Davia, B.},
  TITLE =        {The impact of test suite granularity on the cost-effectiveness of regression testing},
  BOOKTITLE =    {Proceedings of the 14th International Conference on Software Engineering},
  YEAR =         {2002},
  pages =        {130-140},
  address =      {Orlando, Florida, USA},
  month =        {May}
}
@ARTICLE{Rothermel:TOSEM04,
  AUTHOR =       {Rothermel, G. and Elbaum, S. and Malishevsky, A. G. and Kallakuri, P. and Qiu, X.},
  TITLE =        {On test suite composition and cost-effective regression testing},
  JOURNAL =      {ACM Transactions on Software Engineering and Methodology},
  YEAR =         {04},
  volume =       {13},
  number =       {3},
  pages =        {277},
  month =        {331}
}
@ARTICLE{HGS:TOSEM93,
  AUTHOR =       {Harrold, M. J. and Gupta, R. and Soffa, M. L.},
  TITLE =        {A methodology for controlling the size of a test suite},
  JOURNAL =      {ACM Transactions on Software Engineering and Methodology},
  YEAR =         {1993},
  volume =       {2},
  number =       {3},
  pages =        {270-285}
}
@ARTICLE{Ausiello:JCSS80,
  AUTHOR =       {Ausiello, G. and D'Atri, A. and Protasi, M.},
  TITLE =        {Structure preserving reductions among convex optimization problems},
  JOURNAL =      {Journal of Computer and System Sciences},
  YEAR =         {1980},
  volume =       {21},
  number =       {1},
  pages =        {136-153}
}
@ARTICLE{Chvatal,
  AUTHOR =       {Chvatal, V.},
  TITLE =        {A Greedy heuristic for the set-covering problem},
  JOURNAL =      {Mathematics of Operations Research},
  YEAR =         {1979},
  volume =       {4},
  number =       {3},
  pages =        {233-235}
}
@ARTICLE{Chen:IPL96,
  AUTHOR =       {Chen, T. Y. and Lau, M. F.},
  TITLE =        {Dividing strategies for the optimization of a test suite},
  JOURNAL =      {Information Processing Letters},
  YEAR =         {1996},
  volume =       {60},
  number =       {3},
  pages =        {135-141}
}
@ARTICLE{Chen:JIS03,
  AUTHOR =       {Chen, T. Y. and Lau, M. F.},
  TITLE =        {On the divide-and-conquer approach towards test suite reduction},
  JOURNAL =      {Journal of Information Sciences},
  YEAR =         {2003},
  volume =       {152},
  number =       {1},
  pages =        {89-119}
}
@ARTICLE{Chen:IST98,
  AUTHOR =       {Chen, T. Y. and Lau, M. F.},
  TITLE =        {A new heuristic for test suite reduction},
  JOURNAL =      {Information and Software Technology},
  YEAR =         {1998},
  volume =       {40},
  number =       {5/6},
  pages =        {347-354}
}
@ARTICLE{Chen:CJ99,
  AUTHOR =       {Chen, T. Y. and Lau, M. F.},
  TITLE =        {On the comCompleteness of a test suite reduction strategy},
  JOURNAL =      {The Computer Journal},
  YEAR =         {1999},
  volume =       {42},
  number =       {5},
  pages =        {430-440}
}
@ARTICLE{Mansour,
  AUTHOR =       {Mansour, N. and Fakin, K. E.},
  TITLE =        {Simulated annealing and genetic algorithms for optimal regression testing},
  JOURNAL =      {Journal of Software Maintenance: Research and Practice},
  YEAR =         {1999},
  volume =       {11},
  number =       {1},
  pages =        {19-34}
}
@ARTICLE{Lee:IST00,
  AUTHOR =       {Lee, J. G. and Chung C. G.},
  TITLE =        {An optimal representative set selection method},
  JOURNAL =      {Information and Software Technology},
  YEAR =         {2000},
  volume =       {42},
  number =       {1},
  pages =        {17-25}
}
@ARTICLE{Chung:JSS97,
  AUTHOR =       {Chung, C. G. and Lee, J. G.},
  TITLE =        {An enhanced zero-one optimal path set selection method},
  JOURNAL =      {Journal of Systems and Software},
  YEAR =         {1997},
  volume =       {39},
  number =       {2},
  pages =        {145-164}
}
@INPROCEEDINGS{Black:ICSE04,
  AUTHOR =       {Black, J. and Melachrinoudis, E. and Kaeli, D.},
  TITLE =        {Bi-criteria models for all-use test suite reduction},
  BOOKTITLE =    {Proceedings of the 26th International Conference on Software Engineering},
  YEAR =         {2004},
  pages =        {106-115}
}
@INPROCEEDINGS{Hsu:ICSE09,
  AUTHOR =       {Hsu, H. and Orso, A.},
  TITLE =        {MINTS: A general framework and tool for supporting test-suite minimization},
  BOOKTITLE =    {Proceedings of the 31st International Conference on Software Engineering},
  YEAR =         {2009},
  pages =        {419-429}
}
@BOOK{Collette,
  AUTHOR =       {Collette, Y. and Siarry, P.},
  TITLE =        {Multiobjective Optimization: Principles and Case Studies},
  PUBLISHER =    {Springer},
  YEAR =         {2004}
}
@BOOK{Szidarovsky,
  AUTHOR =       {Szidarovsky, F. and Gershon, M. E. and Dukstein, L.},
  TITLE =        {Techniques for multiobjective decision making in systems management},
  PUBLISHER =    {Elsevier},
  YEAR =         {1986}
}
@INPROCEEDINGS{Yoo:ISSTA07,
  AUTHOR =       {Yoo, S. and Harman, M.},
  TITLE =        {Pareto efficient multi-objective test case selection},
  BOOKTITLE =    {Proceedings of the ACM International Symposium on Software Testing and Analysis},
  YEAR =         {2007},
  pages =        {140-150}
}
@INPROCEEDINGS{Vaysburg:ISSTA02,
  AUTHOR =       {Vaysburg, B. and Tahat, L. and Korel, B.},
  TITLE =        {Dependene analysis in reduction of requirement based test suites},
  BOOKTITLE =    {Proceedings of the ACM International Symposium on Software Testing and Analysis},
  YEAR =         {2002},
  pages =        {107-111}
}
@INPROCEEDINGS{Jourdan:ISCIS06,
  AUTHOR =       {Jourdan, G. V. and Ritthiruangdech, P. and Ural, H.},
  TITLE =        {Test suite reduction based on dependence analysis},
  BOOKTITLE =    {Proceedings of the 21st IEEE International Symposium on Computer and Information Sciences},
  YEAR =         {2006},
  pages =        {1021-1030}
}
@INPROCEEDINGS{Korel:ICSM02,
  AUTHOR =       {Korel, B. and Tahat, L. and Vaysburg, B.},
  TITLE =        {Model based regression test reduction using dependence analysis},
  BOOKTITLE =    {Proceedings of the IEEE International Conference on Software Maintenance},
  YEAR =         {2002},
  pages =        {214-225}
}
@INPROCEEDINGS{Chen:SOQUA07,
  AUTHOR =       {Chen, Y. and Probert, R. L. and Ural, H.},
  TITLE =        {Regression test suite reduction using extended dependence analysis},
  BOOKTITLE =    {Proceedings of the 4th International Workshop on Software Quality Assurance},
  YEAR =         {2007},
  pages =        {62-69},
  publisher =    {ACM Press}
}
@ARTICLE{Jones:TSE03,
  AUTHOR =       {Jones, J. A. and Harrold, M. J.},
  TITLE =        {Test-suite reduction and prioritization for modified condition/decision coverage},
  JOURNAL =      {IEEE Transactions on Software Engineering},
  YEAR =         {2003},
  volume =       {29},
  number =       {3},
  pages =        {195-209},
  month =        {March}
}
@INPROCEEDINGS{Harder:ICSE03,
  AUTHOR =       {Harder, M. and Mellen, J. and Ernst, M. D.},
  TITLE =        {Impproving test suites via operational abstraction},
  BOOKTITLE =    {Proceedings of the 25th International Conference on Software Engineering},
  YEAR =         {2003},
  pages =        {60-71}
}
@INPROCEEDINGS{McMaster:ICSM05,
  AUTHOR =       {McMaster, S. and Memon, A. M.},
  TITLE =        {Call stack coverage for test suite reduction},
  BOOKTITLE =    {Proceedings of the 21st IEEE International Conference on Software Maintenance},
  YEAR =         {2005},
  pages =        {539-548}
}
@ARTICLE{McMaster:TSE08,
  AUTHOR =       {McMaster, S. and Memon, A. M.},
  TITLE =        {Call stack coverage for gui test suite reduction},
  JOURNAL =      {IEEE Transactions on Software Engineering},
  YEAR =         {2008},
  volume =       {34},
  number =       {1},
  pages =        {99-115}
}
@INPROCEEDINGS{Smith:ASE07,
  AUTHOR =       {Smith, A. and Geiger, J. and Kapfhammer, G. M. and Soffa, M. L.},
  TITLE =        {Test suite reduction and prioritization with call trees},
  BOOKTITLE =    {Proceedings of the IEEE/ACM International Conference on Automated Software Engineering},
  YEAR =         {2007},
  publisher =    {ACM Press}
}
@ARTICLE{Xu:JFCST08,
  AUTHOR =       {Zhang, X. and Chen, L. and Xu, B. and Nie, C.},
  TITLE =        {Survey of test suite reduction problem},
  JOURNAL =      {Journal of Frontiers of Computer Science and Technology},
  YEAR =         {2008},
  volume =       {2},
  number =       {3},
  pages =        {235-247}
}
@INPROCEEDINGS{Agrawal:POPL94,
  AUTHOR =       {Agrawal, H.},
  TITLE =        {Dominators, super blocks and program coverage },
  BOOKTITLE =    {Conference Record of the 21st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  YEAR =         {1994},
  pages =        {25-34},
  publisher =    {ACM Press}
}
@INPROCEEDINGS{Agrawal:PASTE99,
  AUTHOR =       {Agrawal, H.},
  TITLE =        {Efficient coverage testing using global dominator graphs},
  BOOKTITLE =    {Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering},
  YEAR =         {1999},
  pages =        {11-20},
}
@ARTICLE{Marre:TSE03,
  AUTHOR =       {Marre, M. and Bertoline, A.},
  TITLE =        {Using spanning sets for coverage testing},
  JOURNAL =      {IEEE Transactions on Software Engineering},
  YEAR =         {2003},
  volume =       {29},
  number =       {11},
  pages =        {974-984}
}
@INPROCEEDINGS{Tallam:PASTE05,
  AUTHOR =       {Tallam, S. and Gupta, N.},
  TITLE =        {A concept analysis inspired greedy algorithm for test suite minimization},
  BOOKTITLE =    {Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering},
  YEAR =         {2005},
  pages =        {35-42}
}
@ARTICLE{Zhang:SCSIS05,
  AUTHOR =       {Zhang, W. and Wei, L. and Qi, J.},
  TITLE =        {Atrribute reduction theory and approach to concept lattice},
  JOURNAL =      {Science in China Series F: Information Sciences},
  YEAR =         {2005},
  volume =       {35},
  number =       {6},
  pages =        {628-639}
}
@BOOK{Ganter:1999,
  AUTHOR =       {Ganter, B. and Wille, R.},
  TITLE =        {Formal Concept Analysis: Mathematical Foundations},
  PUBLISHER =    {Berlin:Springer},
  YEAR =         {1999}
}
@INPROCEEDINGS{Sampath:ASE04,
  AUTHOR =       {Sampath, S. and Mihaylov, V. and Souter, A. and Pollock, L.},
  TITLE =        {A scalable approach to user-session based testing of Web applications through concept analysis},
  BOOKTITLE =    {Proceedings of the 19th IEEE International Conference on Automated Software Engineering},
  YEAR =         {2004},
  pages =        {132-141}
}
@INPROCEEDINGS{Sprenkle:ICSM05,
  AUTHOR =       {Sprenkle, S. and Sampath, S. and Gibson, E. and Pollock, L. and Souter, A.},
  TITLE =        {An empirical comparison of test suite reduction techniques for user-session-based testing of Web applications},
  BOOKTITLE =    {Proceedings of the 21st IEEE International Conference on Software Maintenance},
  YEAR =         {2005},
  pages =        {587-596}
}
@ARTICLE{Nie:CJS03,
  AUTHOR =       {Nie, C. and Xu, B.},
  TITLE =        {A minimal test suite generation method},
  JOURNAL =      {Chinese Journal of Computers},
  YEAR =         {2003},
  volume =       {26},
  number =       {12},
  pages =        {1690-1696}
}
@PHDTHESIS{Nie,
  AUTHOR =       {Nie, C.},
  TITLE =        {Research of test suite reduction techniques},
  SCHOOL =       {Southeast University},
  YEAR =         {2003},
  address =      {Nanjing}
}
@ARTICLE{Zhang:JS07,
  AUTHOR =       {Zhang, X. and Xu, B. and Nie, C. and Shi, L.},
  TITLE =        {An approach for optimizing test suite based on testing requirement reduction},
  JOURNAL =      {Journal of Software},
  YEAR =         {2007},
  volume =       {18},
  number =       {4},
  pages =        {821-831}
}
@INPROCEEDINGS{Chen:SAC08,
  AUTHOR =       {Chen, Z. and Xu, B. and Zhang, X. and Nie, C.},
  TITLE =        {A novel approach for test suite reduction based on requirement relation contraction},
  BOOKTITLE =    {Proceedings of the 2008 ACM Symposium on Applied Computing},
  YEAR =         {2008},
  pages =        {390-394}
}
@INPROCEEDINGS{Gu:ISPA10,
  AUTHOR =       {Gu, Q. and Tang, B. and Chen, D.},
  TITLE =        {Optimal regression testing based on selective coverage of test requirements},
  BOOKTITLE =    {Proceedings of the International Symposium on Parallel and Distributed Processing with Application},
  YEAR =         {2010},
  pages =        {419-426}
}
@ARTICLE{Gu:CJC11,
  AUTHOR =       {Gu, Q. and Tang, B. and Chen, D.},
  TITLE =        {A test suite reduction technique for partial coverage of test requirements},
  JOURNAL =      {Chinese Journal of Computers},
  YEAR =         {2011},
  volume =       {34},
  number =       {5},
  pages =        {879-888},
  month =        {May}
}
@ARTICLE{Wong:SPE98,
  AUTHOR =       {Wong, W. E. and Horgan, J. R. and London, S. and Mathur, A.},
  TITLE =        {Effect of test set minimization on fault detection effectiveness},
  JOURNAL =      {Software Practice and Experience},
  YEAR =         {1998},
  volume =       {28},
  number =       {4},
  pages =        {347--369}
}
@ARTICLE{Wong:JSS99,
  AUTHOR =       {Wong, W. E. and Horgan, J. R. and Mathur, A. and Pasquini, A.},
  TITLE =        {Test set size minimization and fault detection effectiveness: A case study in a space application},
  JOURNAL =      {The Journal of Systems and Software},
  YEAR =         {1999},
  volume =       {48},
  number =       {2},
  pages =        {79-89},
  month =        {October}
}
@INPROCEEDINGS{Horgan:AQSDT92,
  AUTHOR =       {Horgan, J. R. and London, S.},
  TITLE =        {ATAC: A data flow coverage testing tool for c},
  BOOKTITLE =    {Proceedings of the Symposium on Assesment of Quality Software Development Tools},
  YEAR =         {1992},
  pages =        {2-10},
  publisher =    {IEEE Computer Society Press}
}
@INPROCEEDINGS{Horgan:TAV91,
  AUTHOR =       {Horgan, J. R. and London, S.},
  TITLE =        {Data flow coverage and the C language},
  BOOKTITLE =    {Proceedings of the Symposium on Testing, Analysis and Verification},
  YEAR =         {1991},
  pages =        {87-97},
  publisher =    {ACM Press}
}
@INPROCEEDINGS{Rothermel:ICSM98,
  AUTHOR =       {Rothermel, G. and Harrold, M. J. and Ostrin, J. and Hong, C.},
  TITLE =        {An empirical study of the effects of minimization on the fault detection capabilities of test suites},
  BOOKTITLE =    {Proceedings of the 14th IEEE International Conference on Software Maintenance},
  YEAR =         {1998},
  pages =        {34-43}
}
@ARTICLE{Rothermel:STVR02,
  AUTHOR =       {Rothermel, G. and Harrold, M. J. and Ronne, J. and Hong, C.},
  TITLE =        {Empirical studies of test-suite reduction},
  JOURNAL =      {Software Testing Verification and Reliability},
  YEAR =         {2002},
  volume =       {12},
  number =       {4},
  pages =        {219-249},
  month =        {December}
}
@INPROCEEDINGS{Hutchins:ICSE94,
  AUTHOR =       {Hutchins, M. and Foster, H. and Goradia, T. and Ostrand, T.},
  TITLE =        {Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria},
  BOOKTITLE =    {Proceedings of the 16th International Conference on Software Engineering},
  YEAR =         {1994},
  pages =        {191-200},
  publisher =    {IEEE Comouter Society Press}
}
@INPROCEEDINGS{Jeffrey:ICSM05,
  AUTHOR =       {Jeffrey, D. and Gupta, N.},
  TITLE =        {Test suite reduction with selective redundancy},
  BOOKTITLE =    {Proceedings of the 21st IEEE International Conference on Software Maintenance},
  YEAR =         {2005},
  pages =        {549-558}
}
@ARTICLE{Jeffrey:TSE07,
  AUTHOR =       {Jeffrey, D. and Gupta, N.},
  TITLE =        {Improving fault detection capability by selectively retaining test cases during test suite reduction},
  JOURNAL =      {IEEE Transactions on Software Engineerong},
  YEAR =         {2007},
  volume =       {33},
  number =       {2},
  pages =        {108-123}
}
@INPROCEEDINGS{Chen:SAC11,
  AUTHOR =       {Chen, X. and Zhang, L. and Gu, Q. and Zhao, H. and Wang, Z. and Sun, X. and Chen, D.},
  TITLE =        {A test suite reduction approach based on pairwise interaction of requirements},
  BOOKTITLE =    {Proceedings of the Symposium on Applied Computing},
  YEAR =         {2011},
  pages =        {1390-1397}
}
@INPROCEEDINGS{Yu:ICSE08,
  AUTHOR =       {Yu, Y. and Jones, J. A. and Harrold, M. J.},
  TITLE =        {An empirical study of the effects of test-suite reduction on fault localization},
  BOOKTITLE =    {Proceedings of the International Conference on Software Engineering},
  YEAR =         {2008},
  pages =        {201-210},
  publisher =    {ACM Press}
}
@MISC{Wong_softwarefault,
    author = {Wong, W. E. and Debroy, V.},
    title = {Software Fault Localization},
    year = {2009}
}
@INPROCEEDINGS{Zhang:SAC10,
  AUTHOR =       {Zhang, X. and Gu, Q. and Chen, X. and Qi, J. and Chen, D.},
  TITLE =        {A study of relative redundancy in test-suite reduction while retaining or improving fault-localization effectiveness},
  BOOKTITLE =    {Proceedings of the Symposium on Applied Computing},
  YEAR =         {2010},
  pages =        {2229-2236}
}
@INPROCEEDINGS{Do:ESE04,
  AUTHOR =       {Do, H. and Ekbaum, S. and Rothermel, G.},
  TITLE =        {Infrastructure support for controlled experimentation with software testing and regression testing techniques},
  BOOKTITLE =    {Proceedings of the International Symposium on Empirical Software Engineering},
  YEAR =         {2004},
  pages =        {60-70}
}
@INPROCEEDINGS{Zhang:SEKE12,
  AUTHOR =       {Zhang, L. and Chen, X. and Gu, Q. and Zhao, H. and Shi, X. and Chen, D.},
  TITLE =        {CATESR: Change-aware test suite reduction based on partial coverage of test requirements},
  BOOKTITLE =    {Proceedings of the International Conference on Software Engineering and Knowledge Engineering},
  YEAR =         {2012}
}
@INPROCEEDINGS{Namin:ISSTA09,
  AUTHOR =       {Namin, A. and Andrews, D.},
  TITLE =        {The influence of size and coverage on test suite effectiveness},
  BOOKTITLE =    {Proceedings of the 10th International Symposium on Software Testing and Analysis},
  YEAR =         {2009},
  pages =        {57-67}
}
@BOOK{Ammann,
  AUTHOR =       {Ammann, P. and Offutt, J.},
  TITLE =        {Introduction to Software Testing},
  PUBLISHER =    {Cambridge University Press},
  YEAR =         {2008}
}
@ARTICLE{Hailpern:IBM02,
  AUTHOR =       {Hailpern, B. and Santhanam, P.},
  TITLE =        {Software debugging, testing and verification},
  JOURNAL =      {IBM System Journal},
  YEAR =         {2002},
  volume =       {41},
  number =       {1},
  pages =        {4-12}
}
@INPROCEEDINGS{Kaner:QW97,
  AUTHOR =       {Kaner, C.},
  TITLE =        {Improving the maintainability of automated test suites},
  BOOKTITLE =    {Proceedings of Quality Week 1997},
  YEAR =         {1997},
  month =        {May},
}
@BOOK{Beizer,
  AUTHOR =       {Beizer, B.},
  TITLE =        {Software Testing Techniques},
  PUBLISHER =    {Van Nostrand Reinhold},
  YEAR =         {1990},
  address =      {New York}
}
